sum and difference identity